Coordinating Agents in OO
نویسندگان
چکیده
In this paper we introduce an object-oriented coordination language for multi-agents systems. The beliefs and reasoning capabilities of an agent are specified in terms of a corresponding abstract data type. Agents interact via an extension of the usual object-oriented message passing mechanism. This extension provides the autonomy that is required of agents but which objects in most object-oriented languages do not have. It consists of an explicit answer statement by means of which an agent can specify that it is willing to accept some specified messages. For our coordination language we also present a formal method for proving correctness. The method extends and generalizes existing assertional proof methods for object-oriented languages.
منابع مشابه
A rare presentation of osteoid osteoma in a rib and unexpected \"double density sign\": A case report and review of literature
Osteoid osteoma (OO) is a relatively common skeletal neoplasm, frequently involves long bones. OO of rib is extremely rare, including 0.23-2% of OO cases. Most of them arose in posterior arc, frequently in its head or neck and might lead to painful scoliosis. Involvement of anterior aspect of a rib is extremely rare. Skeletal scintigraphy is highly sensitive for detection of OO. “Doubl...
متن کاملCoordination Approach to Find Best Defense Decision with Multiple Possibilities among Robocup Soccer Simulation Team
In 2D Soccer Simulation league, agents will decide based on information and data in their model. Effective decisions need to have world model information without any noise and missing data; however, there are few solutions to omit noise in world model data; so we should find efficient ways to reduce the effect of noise when making decisions. In this article we evaluate some simple solutions whe...
متن کاملAn Approach to Coordinating Team of Agentsunder
i Abstract The ability to work as a team forms an important part of our intelligent behaviours. Sometimes, it enables the group to achieve goals that cannot be achieved by each individual. Other times, it helps the individuals to avoid harmful interactions. Understanding the mechanisms for team coordination can also have a profound impact on the design of intelligent machines, making them capab...
متن کاملTotal perfect codes, OO-irredundant and total subdivision in graphs
Let $G=(V(G),E(G))$ be a graph, $gamma_t(G)$. Let $ooir(G)$ be the total domination and OO-irredundance number of $G$, respectively. A total dominating set $S$ of $G$ is called a $textit{total perfect code}$ if every vertex in $V(G)$ is adjacent to exactly one vertex of $S$. In this paper, we show that if $G$ has a total perfect code, then $gamma_t(G)=ooir(G)$. As a consequence, ...
متن کاملComputational Logic in an Object-Oriented World
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individuals, and OO focuses on the use of hierarchical classes of individuals to structure information and procedures. In this paper, I investigate the similarities and differences between OO and abductive logic programming mul...
متن کامل